// Serialized ImGui windows docking configuration
// generated using <geogram_program> gui:expert=true
// then Windows->Export gui state to C++
const char gui_state_v[] = {
91,87,105,110,100,111,119,93,91,68,
111,99,107,83,112,97,99,101,93,9,
80,111,115,61,48,44,48,9,83,105,
122,101,61,55,54,56,44,49,48,50,
52,9,67,111,108,108,97,112,115,101,
100,61,48,9,9,91,87,105,110,100,
111,119,93,91,char(239), char(128), char(176), 32,86,105,
101,119,101,114,93,9,80,111,115,61,
48,44,56,53,50,9,83,105,122,101,
61,50,55,52,44,49,55,49,9,67,
111,108,108,97,112,115,101,100,61,48,
9,68,111,99,107,73,100,61,48,120,
48,48,48,48,48,48,48,57,44,48,
9,9,91,87,105,110,100,111,119,93,
91,char(239), char(129), char(132), 32,79,98,106,101,99,
116,93,9,80,111,115,61,50,55,54,
44,56,53,50,9,83,105,122,101,61,
52,57,50,44,49,55,49,9,67,111,
108,108,97,112,115,101,100,61,48,9,
68,111,99,107,73,100,61,48,120,48,
48,48,48,48,48,48,65,44,48,9,
9,91,87,105,110,100,111,119,93,91,
67,111,110,115,111,108,101,93,9,80,
111,115,61,48,44,51,54,9,83,105,
122,101,61,55,54,56,44,52,52,54,
9,67,111,108,108,97,112,115,101,100,
61,48,9,68,111,99,107,73,100,61,
48,120,48,48,48,48,48,48,48,49,
44,48,9,9,91,87,105,110,100,111,
119,93,91,84,101,120,116,32,69,100,
105,116,111,114,93,9,80,111,115,61,
50,50,48,44,50,52,9,83,105,122,
101,61,53,56,48,44,55,54,52,9,
67,111,108,108,97,112,115,101,100,61,
48,9,68,111,99,107,73,100,61,48,
120,48,48,48,48,48,48,48,54,44,
49,9,9,91,87,105,110,100,111,119,
93,91,68,101,98,117,103,35,35,68,
101,102,97,117,108,116,93,9,80,111,
115,61,54,48,44,54,48,9,83,105,
122,101,61,52,48,48,44,52,48,48,
9,67,111,108,108,97,112,115,101,100,
61,48,9,9,91,87,105,110,100,111,
119,93,91,73,109,71,117,105,32,68,
101,109,111,93,9,80,111,115,61,49,
54,48,44,50,52,9,83,105,122,101,
61,54,52,48,44,55,54,52,9,67,
111,108,108,97,112,115,101,100,61,48,
9,68,111,99,107,73,100,61,48,120,
48,48,48,48,48,48,48,54,44,48,
9,9,91,87,105,110,100,111,119,93,
91,115,97,121,32,104,101,108,108,111,
93,9,80,111,115,61,48,44,52,57,
54,9,83,105,122,101,61,49,53,56,
44,50,57,50,9,67,111,108,108,97,
112,115,101,100,61,48,9,68,111,99,
107,73,100,61,48,120,48,48,48,48,
48,48,48,56,9,9,91,87,105,110,
100,111,119,93,91,67,111,109,109,97,
110,100,93,9,80,111,115,61,48,44,
54,50,9,83,105,122,101,61,52,52,
53,44,53,53,48,9,67,111,108,108,
97,112,115,101,100,61,48,9,68,111,
99,107,73,100,61,48,120,48,48,48,
48,48,48,48,55,9,9,91,87,105,
110,100,111,119,93,91,76,111,97,100,
46,46,46,35,35,93,9,80,111,115,
61,48,44,52,56,52,9,83,105,122,
101,61,55,54,56,44,51,54,54,9,
67,111,108,108,97,112,115,101,100,61,
48,9,68,111,99,107,73,100,61,48,
120,48,48,48,48,48,48,48,54,44,
48,9,9,91,87,105,110,100,111,119,
93,91,83,97,118,101,32,97,115,46,
46,46,35,35,93,9,80,111,115,61,
48,44,52,56,52,9,83,105,122,101,
61,55,54,56,44,51,54,54,9,67,
111,108,108,97,112,115,101,100,61,48,
9,68,111,99,107,73,100,61,48,120,
48,48,48,48,48,48,48,54,44,49,
9,9,91,68,111,99,107,105,110,103,
93,91,68,97,116,97,93,9,68,111,
99,107,83,112,97,99,101,32,32,32,
32,32,32,32,32,32,73,68,61,48,
120,48,57,69,70,52,53,57,70,32,
80,111,115,61,48,44,51,54,32,83,
105,122,101,61,55,54,56,44,57,56,
55,32,83,112,108,105,116,61,89,9,
32,32,68,111,99,107,78,111,100,101,
32,32,32,32,32,32,32,32,73,68,
61,48,120,48,48,48,48,48,48,48,
49,32,80,97,114,101,110,116,61,48,
120,48,57,69,70,52,53,57,70,32,
83,105,122,101,82,101,102,61,49,48,
50,52,44,52,51,52,32,72,105,100,
100,101,110,84,97,98,66,97,114,61,
49,32,83,101,108,101,99,116,101,100,
84,97,98,61,48,120,70,57,66,69,
70,54,50,65,9,32,32,68,111,99,
107,78,111,100,101,32,32,32,32,32,
32,32,32,73,68,61,48,120,48,48,
48,48,48,48,48,50,32,80,97,114,
101,110,116,61,48,120,48,57,69,70,
52,53,57,70,32,83,105,122,101,82,
101,102,61,49,48,50,52,44,53,50,
53,32,83,112,108,105,116,61,89,9,
32,32,32,32,68,111,99,107,78,111,
100,101,32,32,32,32,32,32,73,68,
61,48,120,48,48,48,48,48,48,48,
51,32,80,97,114,101,110,116,61,48,
120,48,48,48,48,48,48,48,50,32,
83,105,122,101,82,101,102,61,49,48,
50,52,44,54,55,49,32,83,112,108,
105,116,61,88,9,32,32,32,32,32,
32,68,111,99,107,78,111,100,101,32,
32,32,32,73,68,61,48,120,48,48,
48,48,48,48,48,53,32,80,97,114,
101,110,116,61,48,120,48,48,48,48,
48,48,48,51,32,83,105,122,101,82,
101,102,61,52,52,53,44,55,54,52,
32,83,112,108,105,116,61,89,32,83,
101,108,101,99,116,101,100,84,97,98,
61,48,120,48,55,57,53,55,66,67,
56,9,32,32,32,32,32,32,32,32,
68,111,99,107,78,111,100,101,32,32,
73,68,61,48,120,48,48,48,48,48,
48,48,55,32,80,97,114,101,110,116,
61,48,120,48,48,48,48,48,48,48,
53,32,83,105,122,101,82,101,102,61,
49,53,56,44,52,55,48,32,72,105,
100,100,101,110,84,97,98,66,97,114,
61,49,32,83,101,108,101,99,116,101,
100,84,97,98,61,48,120,52,49,55,
55,68,51,52,56,9,32,32,32,32,
32,32,32,32,68,111,99,107,78,111,
100,101,32,32,73,68,61,48,120,48,
48,48,48,48,48,48,56,32,80,97,
114,101,110,116,61,48,120,48,48,48,
48,48,48,48,53,32,83,105,122,101,
82,101,102,61,49,53,56,44,50,57,
50,32,72,105,100,100,101,110,84,97,
98,66,97,114,61,49,32,83,101,108,
101,99,116,101,100,84,97,98,61,48,
120,66,68,48,56,56,65,67,69,9,
32,32,32,32,32,32,68,111,99,107,
78,111,100,101,32,32,32,32,73,68,
61,48,120,48,48,48,48,48,48,48,
54,32,80,97,114,101,110,116,61,48,
120,48,48,48,48,48,48,48,51,32,
83,105,122,101,82,101,102,61,53,55,
55,44,55,54,52,32,67,101,110,116,
114,97,108,78,111,100,101,61,49,32,
83,101,108,101,99,116,101,100,84,97,
98,61,48,120,55,57,67,49,55,56,
50,54,9,32,32,32,32,68,111,99,
107,78,111,100,101,32,32,32,32,32,
32,73,68,61,48,120,48,48,48,48,
48,48,48,52,32,80,97,114,101,110,
116,61,48,120,48,48,48,48,48,48,
48,50,32,83,105,122,101,82,101,102,
61,49,48,50,52,44,51,49,52,32,
83,112,108,105,116,61,88,32,83,101,
108,101,99,116,101,100,84,97,98,61,
48,120,48,55,57,53,55,66,67,56,
9,32,32,32,32,32,32,68,111,99,
107,78,111,100,101,32,32,32,32,73,
68,61,48,120,48,48,48,48,48,48,
48,57,32,80,97,114,101,110,116,61,
48,120,48,48,48,48,48,48,48,52,
32,83,105,122,101,82,101,102,61,51,
54,53,44,52,56,56,32,72,105,100,
100,101,110,84,97,98,66,97,114,61,
49,32,83,101,108,101,99,116,101,100,
84,97,98,61,48,120,69,70,52,70,
68,57,51,69,9,32,32,32,32,32,
32,68,111,99,107,78,111,100,101,32,
32,32,32,73,68,61,48,120,48,48,
48,48,48,48,48,65,32,80,97,114,
101,110,116,61,48,120,48,48,48,48,
48,48,48,52,32,83,105,122,101,82,
101,102,61,54,53,55,44,52,56,56,
32,72,105,100,100,101,110,84,97,98,
66,97,114,61,49,32,83,101,108,101,
99,116,101,100,84,97,98,61,48,120,
53,50,52,50,57,55,52,51,9,9, 0 };
